Crespi Reghizzi, Stefano: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

FROM REGULAR TO STRICTLY LOCALLY TESTABLE LANGUAGES

CRESPI REGHIZZI, STEFANO, SAN PIETRO, PIERLUIGI

Journal:

International Journal of Foundations of Computer Science

Year:

2012

Language:

english

File:

PDF, 258 KB

english, 2012

2

Continuous learning of compiler heuristics

Tartara, Michele, Crespi Reghizzi, Stefano

Journal:

ACM Transactions on Architecture and Code Optimization

Year:

2013

Language:

english

File:

PDF, 915 KB

english, 2013

3

A highly flexible, parallel virtual machine: design and experience of ILDJIT

Simone Campanoni, Giovanni Agosta, Stefano Crespi Reghizzi, Andrea Di Biagio

Journal:

Software: Practice and Experience

Year:

2010

Language:

english

File:

PDF, 1.06 MB

english, 2010

4

A deterministic parsing algorithm for ambiguous regular expressions

Borsotti, Angelo, Breveglieri, Luca, Crespi Reghizzi, Stefano, Morzenti, Angelo

Journal:

Acta Informatica

Year:

2020

Language:

english

File:

PDF, 1.05 MB

english, 2020

5

Parallel parsing of operator precedence grammars

Barenghi, Alessandro, Crespi Reghizzi, Stefano, Mandrioli, Dino, Pradella, Matteo

Journal:

Information Processing Letters

Year:

2013

Language:

english

File:

PDF, 163 KB

english, 2013

6

A unifying approach to picture grammars

Matteo Pradella, Alessandra Cherubini, Stefano Crespi Reghizzi

Journal:

Information and Computation

Year:

2011

Language:

english

File:

PDF, 298 KB

english, 2011

7

Fast deterministic parsers for transition networks

Borsotti, Angelo, Breveglieri, Luca, Crespi Reghizzi, Stefano, Morzenti, Angelo

Journal:

Acta Informatica

Year:

2017

Language:

english

File:

PDF, 1.37 MB

english, 2017

8

QRT FIFO automata, breadth-first grammars and their relations

Alessandra Cherubini, Claudio Citrini, Stefano Crespi Reghizzi, Dino Mandrioli

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 1.98 MB

english, 1991

9

Operator Precedence Grammars and the Noncounting Property

Crespi-Reghizzi, Stefano, Guida, Giovanni, Mandrioli, Dino

Journal:

SIAM Journal on Computing

Year:

1981

Language:

english

File:

PDF, 1.71 MB

english, 1981

10

JIST: Just-In-Time Scheduling Translation for Parallel Processors

Agosta, Giovanni, Reghizzi, Stefano Crespi, Falauto, Gerlando, Sykora, Martino

Journal:

Scientific Programming

Year:

2005

Language:

english

File:

PDF, 1.45 MB

english, 2005

11

MULTI-PUSH-DOWN LANGUAGES AND GRAMMARS

BREVEGLIERI, LUCA, CHERUBINI, ALESSANDRA, CITRINI, CLAUDIO, REGHIZZI, STEFANO CRESPI

Journal:

International Journal of Foundations of Computer Science

Year:

1996

Language:

english

File:

PDF, 1.50 MB

english, 1996

12

Associative definition of programming languages

Stefano Crespi Reghizzi, Matteo Pradella, Pierluigi San Pietro

Journal:

Computer Languages

Year:

2000

Language:

english

File:

PDF, 151 KB

english, 2000

13

A CKY parser for picture grammars

Stefano Crespi Reghizzi, Matteo Pradella

Journal:

Information Processing Letters

Year:

2008

Language:

english

File:

PDF, 219 KB

english, 2008

14

Algebraic properties of operator precedence languages

Stefano Crespi-Reghizzi, Dino Mandrioli, David F. Martin

Journal:

Information and Control

Year:

1978

Language:

english

File:

PDF, 842 KB

english, 1978

15

[ACM Press the 4th international workshop - Paris, France (2006.10.11-2006.10.13)] Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems - JTRES '06 - Jelatine

Agosta, Giovanni, Reghizzi, Stefano Crespi, Svelto, Gabriele

Year:

2006

Language:

english

File:

PDF, 364 KB

english, 2006

16

Efficient recognition of trace languages defined by repeat-until loops

Luca Breveglieri, Stefano Crespi Reghizzi, Massimiliano Goldwurm

Journal:

Information and Computation

Year:

2010

Language:

english

File:

PDF, 296 KB

english, 2010

17

[IEEE 2007 IEEE International Parallel and Distributed Processing Symposium - Long Beach, CA, USA (2007.03.26-2007.03.30)] 2007 IEEE International Parallel and Distributed Processing Symposium - Hierarchical Cluster Assignment for Coarse-Grain Reconfigurable Coprocessors

Sykora, Martino, Pavoni, Davide, Cambonie, Joel, Costa, Roberto, Reghizzi, Stefano Crespi

Year:

2007

Language:

english

File:

PDF, 252 KB

english, 2007

18

STRICT LOCAL TESTABILITY WITH CONSENSUS EQUALS REGULARITY, AND OTHER PROPERTIES

REGHIZZI, STEFANO CRESPI, PIETRO, PIERLUIGI SAN

Journal:

International Journal of Foundations of Computer Science

Year:

2013

Language:

english

File:

PDF, 232 KB

english, 2013

19

La teoria della complessita’ del calcolo: Un nuovo capitolo dell’algoritmica

Stefano Crespi Reghizzi

Journal:

Milan Journal of Mathematics

Year:

1981

Language:

italian

File:

PDF, 702 KB

italian, 1981

20

Grammar partitioning and modular deterministic parsing

Stefano Crespi Reghizzi, Giuseppe Psaila

Journal:

Computer Languages

Year:

1998

Language:

english

File:

PDF, 514 KB

english, 1998

21

BREADTH AND DEPTH GRAMMARS AND DEQUE AUTOMATA

CHERUBINI, ALESSANDRA, CITRINI, CLAUDIO, REGHIZZI, STEFANO CRESPI, MANDRIOLI, DINO

Journal:

International Journal of Foundations of Computer Science

Year:

1990

Language:

english

File:

PDF, 605 KB

english, 1990

22

[ACM Press the 4th workshop - Genova, Italy (2009.07.06-2009.07.06)] Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems - ICOOOLPS '09 - Just-In-Time compilation on ARM processors

Tartara, Michele, Campanoni, Simone, Agosta, Giovanni, Reghizzi, Stefano Crespi

Year:

2009

Language:

english

File:

PDF, 591 KB

english, 2009

23

[ACM Press the conference - Orlando, Florida, United States (1992.11.16-1992.11.20)] Proceedings of the conference on TRI-Ada '92 - TRI-Ada '92 - Behavioral inheritance

Crespi-Reghizzi, Stefano, De Michele, Marco, Perotta, Stefano

Year:

1992

Language:

english

File:

PDF, 1.01 MB

english, 1992

24

Parallel parsing made practical

Barenghi, Alessandro, Crespi Reghizzi, Stefano, Mandrioli, Dino, Panella, Federica, Pradella, Matteo

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.28 MB

english, 2015

25

[Texts in Computer Science] Formal Languages and Compilation ||

Crespi Reghizzi, Stefano, Breveglieri, Luca, Morzenti, Angelo

Year:

2013

Language:

english

File:

PDF, 6.55 MB

english, 2013

26

A scalable formal method for design and automatic checking of user interfaces

Berstel, Jean, Reghizzi, Stefano Crespi, Roussel, Gilles, Pietro, Pierluigi San

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2005

Language:

english

File:

PDF, 1.66 MB

english, 2005

27

[Texts in Computer Science] Formal Languages and Compilation ||

Crespi Reghizzi, Stefano, Breveglieri, Luca, Morzenti, Angelo

Year:

2019

Language:

english

File:

PDF, 9.35 MB

english, 2019

28

Non-erasing Chomsky-Schützenberger theorem with grammar-independent alphabet

Crespi Reghizzi, Stefano, San Pietro, Pierluigi

Journal:

Information and Computation

Year:

2019

File:

PDF, 1000 KB

2019

29

Associative language descriptions

Alessandra Cherubini, Stefano Crespi Reghizzi, Pierluigi San Pietro

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 241 KB

english, 2002

30

Beyond operator-precedence grammars and languages

Crespi Reghizzi, Stefano, Pradella, Matteo

Journal:

Journal of Computer and System Sciences

Year:

2020

File:

PDF, 628 KB

2020

31

A class of grammar generating non-counting languages

Stefano Crespi-Reghizzi, Dino Mandrioli

Journal:

Information Processing Letters

Year:

1978

Language:

english

File:

PDF, 349 KB

english, 1978

32

A SAT-based parser and completer for pictures specified by tiling

Matteo Pradella, Stefano Crespi Reghizzi

Journal:

Pattern Recognition

Year:

2008

Language:

english

File:

PDF, 367 KB

english, 2008

33

Deque automata, languages, and planar graph representations

Crespi Reghizzi, Stefano, San Pietro, Pierluigi

Journal:

Theoretical Computer Science

Year:

2020

File:

PDF, 987 KB

2020

34

Operator precedence and the visibly pushdown property

Stefano Crespi Reghizzi, Dino Mandrioli

Journal:

Journal of Computer and System Sciences

Year:

2012

Language:

english

File:

PDF, 827 KB

english, 2012

35

[ACM Press third international workshop - Delft, The Netherlands (2012.06.18-2012.06.19)] Proceedings of third international workshop on MapReduce and its Applications Date - MapReduce '12 - Parallel iterative compilation

Tartara, Michele, Crespi Reghizzi, Stefano

Year:

2012

Language:

english

File:

PDF, 711 KB

english, 2012

36

[Texts in Computer Science] Formal Languages and Compilation || Finite Automata as Regular Language Recognizers

Crespi Reghizzi, Stefano, Breveglieri, Luca, Morzenti, Angelo

Year:

2019

Language:

english

File:

PDF, 1.77 MB

english, 2019

37

Picture languages: Tiling systems versus tile rewriting grammars

Alessandra Cherubini, Stefano Crespi Reghizzi, Matteo Pradella, Pierluigi San Pietro

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 264 KB

english, 2006

38

Tile rewriting grammars and picture languages

Stefano Crespi Reghizzi, Matteo Pradella

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 550 KB

english, 2005

39

Toward a theory of input-driven locally parsable languages

Crespi Reghizzi, Stefano, Lonati, Violetta, Mandrioli, Dino, Pradella, Matteo

Journal:

Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 1.02 MB

english, 2016

40

On Deterministic Multi-Pass Analysis

Citrini, Claudio, Crespi-Reghizzi, Stefano, Mandrioli, Dino

Journal:

SIAM Journal on Computing

Year:

1986

Language:

english

File:

PDF, 2.61 MB

english, 1986

41

[ACM Press the 4th international workshop - Paris, France (2006.10.11-2006.10.13)] Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems - JTRES '06 - Global instruction scheduling in dynamic compilation for embedded systems

Agosta, Giovanni, Reghizzi, Stefano Crespi, Domizioli, Dario, Sykora, Martino

Year:

2006

Language:

english

File:

PDF, 315 KB

english, 2006

42

Counter machines, Petri Nets, and consensual computation

Crespi Reghizzi, Stefano, San Pietro, Pierluigi

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 1.64 MB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски